SafeFlagPostulate.agda:7,11-29
Cannot postulate inhabitant with safe flag
when scope checking the declaration
  inhabitant : Empty
